Cs - R 9573 1995
نویسنده
چکیده
Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRSs can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions for an extremely simple Abstract Rewriting Machine (ARM). Favourable practical results have already been obtained with an earlier version of ARM. Note: This report is under formal review for the Conference Proceedings of the 11th Workshop on Abstract Data Types. Partial support was received from the Foundation for Computer Science Research in the Nether-lands (SION) under project 612-17-418, \Generic Tools for Program Analysis and Optimization", and from the IBM SP/1 project of department AP.
منابع مشابه
Dynamic whole-arm dexterous manipulation in the plane
A dynamic model Whole-Arm Dexterous Manipulation In The Plane S.L. Yeap J.C. Trinkle Dept. of CS syeap@cs. tamu.edu Dept. of CS trink@cs . t amu.edu Texas A&M University, College Station, TX 77843-31 12 ' of a dexterous manipulation system can be used for predicting the feasibility of a manipulation plan generated under the quasistatic assumption but executed under dynamic conditions. Contact f...
متن کاملChallenges to ART market: a Polish case
In the paper we are analyzing the Polish ART market. It can be noticed that the lack of legal regulation has resulted in many discrepancies among the policies adopted by various ART agencies. The social acceptance of ART procedures available mostly in private clinics led to growing commercialization of the Polish ART market. Additionally, the language of gift and altruistic rhetoric that are ov...
متن کاملInvolvement of CD45 in adhesion and suppression of apoptosis of mouse malignant T-lymphoma cells.
Mouse malignant T-lymphoma CS-21 cells undergo apoptotic cell death in vitro in the absence of lymph node stromal cells but escape apoptosis and proliferate when they are attached to CA-12 stromal cells. A monoclonal antibody raised against CS-21 cell surface molecules (MCS-5) recognized a M(r) 168,000 protein, inhibited binding of CS-21 cells to CA-12 stromal cells, and suppressed apoptosis in...
متن کاملAdaptive Wavelet Methods on Unbounded Domains
In this paper, we introduce an adaptive wavelet method for operator equations on unbounded domains. We use wavelet bases on R to equivalently express the operator equation in terms of a well-conditioned discrete problem on sequence spaces. By realizing an approximate adaptive operator application also for unbounded domains, we obtain a scheme that is convergent at an asymptotically optimal rate...
متن کامل